02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013

Source URL: www.imm.dtu.dk

• Lambda calculus
• Combinatory logic
• Lambda calculus definition
• Reduction strategy
• Free variables and bound variables
• Lambda
• Fixed-point combinator
• Anonymous function
• Term
• Variable
• Beta normal form

BIT 41(3), pp. 540–562, 2001 RIGOROUS AND PORTABLE STANDARD FUNCTIONS SIEGFRIED M. RUMP Inst. of Computer Science III, Technical University Hamburg-Harburg, Schwarzenbergstr. 95, 21071 Hamburg, Germany. rump@tu-harbur

Source URL: www.ti3.tu-harburg.de

• Analytic functions
• Trigonometry
• Exponentials
• Dimensionless numbers
• Ratios
• Taylor series
• Floating point
• Sine
• Inverse trigonometric functions
• Hyperbolic function
• Exponentiation
• Transcendental function

c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN

Source URL: community.haskell.org

• Lambda calculus
• Functional programming
• A-normal form
• Let expression
• Fixed-point combinator
• Exponentiation
• Expression
• Monad
• Anonymous function
• Free variables and bound variables
• Combinatory logic
• Standard ML

Hardest-to-Round Cases Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Journées TaMaDi, Lyon,

Source URL: www.vinc17.org

• Computer arithmetic
• Exponentials
• GNU MPFR
• Double-precision floating-point format
• DWIM
• Exponential function
• Exponentiation

Performance Limits for Computational Photography Kaushik Mitra2, Oliver Cossairt1, Ashok Veeraraghavan2 1 Northwestern University, 2133 Sheridan Road, Evanston, IL, USA 60208

Source URL: www.ece.rice.edu

• Optics
• Image processing
• Geometrical optics
• Science of photography
• Signal processing
• Deblurring
• Defocus aberration
• Super-resolution imaging
• Point spread function
• Deconvolution
• Aperture
• Noise reduction

CONCAVITY, INFLECTIONS, CUSPS, TANGENTS, AND ASYMPTOTES MATH 152, SECTION 55 (VIPUL NAIK) Corresponding material in the book: Section 4.6, 4.7. Difficulty level: Moderate to hard. If you have seen these topics in AP Calc

Source URL: files.vipulnaik.com

• Differential calculus
• Mathematical analysis
• Functions and mappings
• Smooth functions
• Convex analysis
• Inflection point
• Derivative test
• Concave function
• Second derivative
• Critical point
• Convex function
• Derivative

The Wright ω function Robert M. Corless and D. J. Jeffrey Ontario Research Centre for Computer Algebra and the Department of Applied Mathematics University of Western Ontario London, Canada

Source URL: www.apmaths.uwo.ca

• Complex analysis
• Special functions
• Operator theory
• Partial differential equations
• Branch point
• Lambert W function
• Inverse trigonometric functions
• Wright Omega function
• Polylogarithm

Epi Info™ Changes fromtoAnalysis Added ridge stabilization for better regression convergence. Added SQRT function to compute square root of numeric variables in.

Source URL: www.epivf.fr

• Centers for Disease Control and Prevention
• Public-domain software
• Econometrics
• Epi Info
• Free statistical software
• Regression analysis
• Floating point

VIRGINIA SOCIETY OF LANDSCAPE DESIGNERS CERTIFICATION EVALUATION FORM Certification is based on a 100-point system. A minimum of 85 points is necessary for acceptance. 1. DESIGN INTENT (10 Points)  Clients’ function

Source URL: vsld.org

Automatic Generation of Structural Building Descriptions from 3D Point Cloud Scans Sebastian Ochmann1 , Richard Vock1 , Raoul Wessel1 , Martin Tamke2 , Reinhard Klein1 1 Institute of Computer Science II, University of B

Source URL: cg.cs.uni-bonn.de

• Image segmentation
• Limit of a function